大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Generalized Recursion Theory 的图书(共8282本)

Logic and the Foundations of Game and Decision Theory-LOFT 8 [electronic resource] : 8th International Conference, Amsterdam, The Netherlands, July 3-5, 2008, Revised Selected Papers

0
索取号:
作者:Bonanno、 Giacomo.、L枚we、 Benedikt.、Hoek、 Wiebe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Foundations of Computer Science 2010 [electronic resource] : 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings

0
索取号:
作者:Hlin臎n媒、 Petr.、Ku膷era、 Anton铆n.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Full-Potential Electronic Structure Method [electronic resource] : Energy and Force Calculations with Density Functional and Dynamical Mean Field Theory

0
索取号:
作者:Wills、 John M.、Eriksson、 Olle.、Andersson、 Per.、Delin、 Anna.、Grechnyev、 Oleksiy.、Alouani、 Mebarek.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Biological Functions for Information and Communication Technologies [electronic resource] : Theory and Inspiration

0
索取号:
作者:Sawai、 Hidefumi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Bioinformatics and Computational Biology [electronic resource] : 5th Brazilian Symposium on Bioinformatics, BSB 2010, Rio de Janeiro, Brazil, August 31-September 3, 2010. Proceedings

0
索取号:
作者:Ferreira、 Carlos E.、Miyano、 Satoru.、Stadler、 Peter F.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Topological Methods in Data Analysis and Visualization [electronic resource] : Theory, Algorithms, and Applications

0
索取号:
作者:Pascucci、 Valerio.、Tricoche、 Xavier.、Hagen、 Hans.、Tierny、 Julien.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Future Internet - FIS 2009 [electronic resource] : Second Future Internet Symposium, FIS 2009, Berlin, Germany, September 1-3, 2009

0
索取号:
作者:Zseby、 Tanja.、Savola、 Reijo.、Pistore、 Marco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reliability Engineering [electronic resource] : Theory and Practice

0
索取号:
作者:Birolini、 Alessandro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Evolutionary Theory and the Creation Controversy [electronic resource]

0
索取号:
作者:Rieppel、 Olivier.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Distributed Computing and Artificial Intelligence [electronic resource] : 7th International Symposium

0
索取号:
作者:Leon F. de Carvalho、 Andre Ponce.、Rodr铆guez-Gonz谩lez、 Sara.、Paz Santana、 Juan F.、Rodr铆guez、 Juan M. Corchado.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Algorithm Engineering [electronic resource] : Bridging the Gap between Algorithm Theory and Practice

0
索取号:
作者:M眉ller-Hannemann、 Matthias.、Schirra、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Methods and Tools of Parallel Programming Multicomputers [electronic resource] : Second Russia-Taiwan Symposium, MTPP 2010, Vladivostok, Russia, May 16-19, 2010, Revised Selected Papers

0
索取号:
作者:Hsu、 Ching-Hsien.、Malyshkin、 Victor.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Robotics Research [electronic resource] : The 13th International Symposium ISRR

0
索取号:
作者:Kaneko、 Makoto.、Nakamura、 Yoshihiko.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy [electronic resource] : Proceedings of the 37th International Symposium on Archaeometry, 13th - 16th May 2008, Siena, Italy

0
索取号:
作者:Turbanti-Memmi、 Isabella.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Cosmogenic Radionuclides [electronic resource] : Theory and Applications in the Terrestrial and Space Environments

0
索取号:
作者:Beer、 J眉rg.、McCracken、 Ken.、Steiger、 Rudolf.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Mathematical Theory of Elasticity of Quasicrystals and Its Applications [electronic resource]

0
索取号:
作者:Fan、 Tianyou.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.